<?php session_start(); ?>
<?php include "constants.inc" ?>
<?php
	if ( isset($_SESSION['user']) ) {
    	session_destroy();
    }
	
	if (isset($_GET['redirect'])) {
		redirect($_GET['redirect']);
	} else {
		redirect("/newsbox.php");
	}
    
?>